<?php

/******************************************
 * File:			lib_php/menu.php
 * Version:			1.0.0
 * Last modified:	25/10/2009
 * Last modifier:	Hugo Lavigne
 *****************************************/

Print("<ul>");

		if ($_SESSION['page'] == "index")
			Print("<li class=\"current\"><a href=\"index.php\">Administration</a></li>");
		else
			Print("<li><a href=\"index.php\">Administration</a></li>");
		
		Print("&nbsp;");
		
		if ($_SESSION['page'] == "users")
			Print("<li class=\"current\"><a href=\"users.php\">Utilisateurs / Groupes</a></li>");
		else
			Print("<li><a href=\"users.php\">Utilisateurs / Groupes</a></li>");
		
		Print("&nbsp;");
			
		if ($_SESSION['page'] == "modules")
			Print("<li class=\"current\"><a href=\"modules.php\">Modules</a></li>");
		else
			Print("<li><a href=\"modules.php\">Modules</a></li>");
			
		Print("&nbsp;");
		
		if ($_SESSION['page'] == "templates")
			Print("<li class=\"current\"><a href=\"templates.php\">Templates</a></li>");
		else
			Print("<li><a href=\"templates.php\">Templates</a></li>");
		
Print("</ul>");

?>